Graph Transformations and Model-Driven Engineering: The Merits of Manfred Nagl

نویسندگان

  • Gregor Engels
  • Claus Lewerentz
  • Wilhelm Schäfer
  • Andy Schürr
  • Bernhard Westfechtel
چکیده

1 Database and Information Systems, University of Paderborn, Paderborn, Germany 2 Software Systems Engineering, Brandenburg University of Technology, Cottbus, Germany 3 Software Engineering, University of Paderborn, Paderborn, Germany 4 Real-Time Systems Lab, Darmstadt University of Technology, Darmstadt, Germany 5 Applied Computer Science I (Software Engineering), University of Bayreuth, Bayreuth, Germany

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Graph Transformations and Model-Driven Engineering - Essays Dedicated to Manfred Nagl on the Occasion of his 65th Birthday

When writing can change your life, when writing can enrich you by offering much money, why don't you try it? Are you still very confused of where getting the ideas? Do you still have no idea with what you are going to write? Now, you will need reading. A good writer is a good reader at once. You can define how you write depending on what books to read. This graph transformations and model drive...

متن کامل

Parameterized Specification of Conceptual Design Tools in Civil Engineering

In this paper we discuss how tools for conceptual design in civil engineering can be developed using graph transformation specifications. These tools consist of three parts: (a) for elaborating specific conceptual knowledge (knowledge engineer), (b) for working out conceptual design results (architect), and (c) automatic consistency analyses which guarantee that design results are consistent wi...

متن کامل

On the Use of Graph Transformations for Model Refactoring

Model-driven software engineering promotes the use of models and transformations as primary artifacts. Several formalisms can be used for the specification of model transformations. We propose to represent models as graphs, and model transformations as graph transformations. In particular, we focus on the activity of model refactoring, and show how graph transformation theory can provide formal...

متن کامل

Towards Debugging the Matching of Henshin Model Transformations Rules

Model Driven Engineering aims at improving effectiveness and efficiency of software engineering. Model transformations are a key artifact in model driven engineering as they enable transforming models into other artifacts for further processing, e.g. analysis models or executable code. However, particularly graph transformation based model transformation tools often lack detailed debugging capa...

متن کامل

What Algebraic Graph Transformations Can Do For Model Transformations

Model transformations are key activities in model-driven development (MDD). A number of model transformation approaches have emerged for different purposes and with different backgrounds. This paper focusses on the use of algebraic graph transformation concepts to specify and verify model transformations in MDD.

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2010